An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming

摘要

This document demonstrates that the efficient approach for diagnosis of Petrinets via integer linear programming may be unable to detect a fault even if thesystem is diagnosable.